Wojciech Buszkowski
Data urodzenia | |
---|---|
profesor nauk matematycznych | |
Specjalność: logika matematyczna, teoria obliczeń, lingwistyka matematyczna | |
Alma Mater | |
Doktorat |
1982 |
Habilitacja |
1988 |
Profesura |
16 grudnia 1997 |
Nauczyciel akademicki | |
Uczelnia | |
Strona internetowa |
Wojciech Buszkowski (ur. 17 października 1950) – polski matematyk, specjalista w dziedzinie logiki matematycznej i jej zastosowań, lingwistyki matematycznej, logiki obliczeniowej i podstaw informatyki.
Życiorys
[edytuj | edytuj kod]Studiował fizykę i matematykę na Uniwersytecie im. Adama Mickiewicza w Poznaniu. Od roku 1973 magister matematyki, od 1982 doktor. Habilitację uzyskał w 1988. W roku 1997 został mianowany profesorem. Był zaproszonym wykładowcą i prowadził badania naukowe na uniwersytetach w Chicago, Saarbruecken (stypendium Humboldta), Monachium, Amsterdamie i Tarragonie. W latach 1993–1996 pełnił funkcję prezesa Polskiego Towarzystwa Logiki i Filozofii Nauki.
Jest autorem licznych prac naukowych publikowanych w ogólnoświatowych wydawnictwach. Szczególnie znane są jego wyniki z zakresu logicznej teorii gramatyk kategorialnych. Głównymi zainteresowaniami naukowymi są rachunek Lambeka, logiki podstrukturalne, algebry logiki i ich zastosowania w informatyce.
Linki zewnętrzne
[edytuj | edytuj kod]- Prof. dr hab. Wojciech Buszkowski, [w:] baza „Ludzie nauki” portalu Nauka Polska (OPI PIB) [dostęp 2009-01-05] .